\begin{verbatim}
for m in [10..18] do 
    print m, &+[ CI(Decimation(c05,i,m)) : i in [1..m] ]/m; 
end for;
\end{verbatim}
